movq    $0x59b997fa, %rdi
pushq   $0x4017ec
ret
